UMCP: A Sound and Complete Procedure for Hierarchical Task-network Planning
نویسندگان
چکیده
One big obstacle to understanding the nature of hierarchical task network (HTN) planning has been the lack of a dear theoretical framework. In particular, no one has yet presented a clear and concise HTN algorithm that is sound and complete. In this paper, we present a formal syntax and semantics for HTN planning. Based on this syntax and semantics, we are able to define an algo~thm for HTN planning and prove it sound m~d complete.
منابع مشابه
Anytime Planning For Agent Behaviour
For an agent to act successfully in a complex and dynamic environment (such as a computer game) it must have a method of generating future behaviour that meets the demands of its environment. One such method is anytime planning. This paper discusses the problems and benefits associated with making a planning system work under the anytime paradigm, and introduces AnytimeUMCP (A-UMCP), an anytime...
متن کاملA Critical Look at Critics in HTN Planning
Detecting interactions and resolving conflicts is one of the key issues for generative planning systems. Hierarchical Task Network (HTN) planning systems use critics for this purpose. Critics have provided extra efficiency and flexibility to HTN planning systems, but their procedural –and sometimes domain-specific – nature has not been amenable to analytical studies. As a result, little work is...
متن کاملCS - TR - 3239 , UMIACS - TR - 94 - 31 , ISR - TR - 95 - 9 Semantics for Hierarchical Task - Network Planning
One big obstacle to understanding the nature of hierarchical task network (htn) planning has been the lack of a clear theoretical framework. In particular, no one has yet presented a clear and concise htn algorithm that is sound and complete. In this paper, we present a formal syntax and semantics for htn planning. Based on this syntax and semantics, we are able to deene an algorithm for htn pl...
متن کاملUsing Planning Graphs for Solving HTN Planning Problems
In this paper we present the GraphHTN algorithm, a hybrid planning algorithm that does Hierarchical Task-Network (HTN) planning using a combination of HTN-style problem reduction and Graphplan-style planning-graph generation. We also present experimental results comparing GraphHTN with ordinary HTN decomposition (as implemented in the UMCP planner) and ordinary Graphplan search (as implemented ...
متن کاملSemantics for Hierarchical Task Network Planning
One big obstacle to understanding the nature of hierarchical task net work htn planning has been the lack of a clear theoretical framework In particular no one has yet presented a clear and concise htn algorithm that is sound and complete In this paper we present a formal syntax and se mantics for htn planning Based on this syntax and semantics we are able to de ne an algorithm for htn planning...
متن کامل